Multidimensional Lucid: Design, Semantics and Implementation
نویسنده
چکیده
We develop an eductive algorithm for the efficient implementation of Multidimensional Lucid, which includes dimensions as first-class values. By focusing on simple multi-dimensional expressions, we develop a series of operational semantics, ultimately leading to an algorithm that should lead to efficient implementations of Lucid for a variety of physical architectures.
منابع مشابه
GLU embedded in C++: a marriage between multidimensional and object-oriented programming
The embedding of a small but expressive language of multidimensional functional programming in a well known and widely used language of object-oriented programming leads to the combination of two radically different programming models. In this paper, we formally define the syntax and semantics of GLU , which can be thought of as the multidimensional core of Lucid and GLU, and we describe its im...
متن کاملIntensional Cyberforensics
Intensional Cyberforensics Serguei A. Mokhov, Ph.D.Concordia University, 2013 This work focuses on the application of intensional logic to cyberforensic analysis and itsbenefits and difficulties are compared with the finite-state-automata approach. This workextends the use of the intensional programming paradigm to the modeling and implemen-tation of a cyberforensics investigati...
متن کاملDeclarative Semantics in Object-Oriented Software Development - A Taxonomy and Survey
One of the modern paradigms to develop an application is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles in applications. In an application, we must distinguish between procedural semantics and declarative semantics for their implementation in a specific programming language. For the procedural semantics, we can write a ...
متن کاملA Type System Theory for Higher-Order Intensional Logic Support for Variable Bindings in Hybrid Intensional-Imperative Programs in GIPSY
We describe a type system for a platform called the General Intensional Programming System (GIPSY), designed to support intensional programming languages built upon intensional logic and their imperative counter-parts for the intensional execution model. In GIPSY, the type system glues the static and dynamic typing between intensional and imperative languages in its compiler and runtime environ...
متن کاملML–Lucid, an intensional functional language
In this paper, we define the ML-Lucid programming language, a generalization of Lucid and of the functional part of ML. ML-Lucid is a multi-dimensional language, and dimensions can be defined to be any ML data type. All functional ML objects can be used as the atomic objects of Lucid. The semantic of ML-Lucid are given using a Kripke semantics, where the universe of possible worlds is the arbit...
متن کامل